extern "C" {

extern void* HAP_request_VTCM (unsigned int size, unsigned int single_page_flag);
extern int HAP_release_VTCM (void* pVA);

}
